The Checking of Computer Logic by Simulation on a Computer
نویسندگان
چکیده
منابع مشابه
the impact of computer-assisted language learning on achievement motivation of high school students
چکیده انگیزه دلیل اصلی رفتارهای ما است. به نظر می رسد انگیزه جزء جدایی ناپذیر فرایند یادگیری باشد. ارزش ذاتی موفقیت تمایل به پیشرفت را در یادگیرنده ایجاد میکند. به عبارت ساده این تمایل انگیزه پیشرفت نامیده میشود. انگیزه پیشرفت را میتوان در احساس یادگیرنده هنگام چالش با درس های مدرسه، لذت انجام فعالیت درسی، یا حس کشف پاسخ مشاهده کرد.حتی ممکن است انگیزه پیشرفت را در تلاش یادگیرنده برای جلب تایید...
a study on insurer solvency by panel data model: the case of iranian insurance market
the aim of this thesis is an approach for assessing insurer’s solvency for iranian insurance companies. we use of economic data with both time series and cross-sectional variation, thus by using the panel data model will survey the insurer solvency.
Design of Thickener by Computer
A mathematical method for calculation of the minimum cross-sectional area of a thickener is presented by obtaining minimum laboratory batch settling test data, a function, which is called settling function, is derived. This function is found to be in the form of a polynomial of third order. The settling function and mass flux relation are used for the design of thickener. The method predict...
متن کاملComputer Simulation of Ammonia Cold Shot Converter
A mathematical model is developed and tested with plant data for the ammonia cold shot converter of Razi Petrochemical Complex. The model is based on a material and energy balance in a differential element of beds and is subjected to the assumptions of uniform distribution of temperature and composition through a general cross section and negligible mass and heat transfer in axial direction. Th...
متن کاملComparative study of computer simulation softwares
One of the methods for analyzing systems is simulation. Network simulation is a technique that models the behavior of the network by performing transaction calculations between different network entities and using mathematical formulas and taking observations from network products. A network simulator is a piece of software or hardware that predicts the behavior of a computer network without a ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Computer Journal
سال: 1963
ISSN: 0010-4620,1460-2067
DOI: 10.1093/comjnl/6.2.154